30 ideas
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
| 14703 | Superficial necessity is true in all worlds; deep necessity is thus true, no matter which world is actual [Schroeter] |
| 14714 | Contradictory claims about a necessary god both seem apriori coherent [Schroeter] |
| 14704 | 2D semantics gives us apriori knowledge of our own meanings [Schroeter] |
| 14706 | Your view of water depends on whether you start from the actual Earth or its counterfactual Twin [Schroeter] |
| 14711 | Rationalists say knowing an expression is identifying its extension using an internal cognitive state [Schroeter] |
| 14717 | Internalist meaning is about understanding; externalist meaning is about embedding in a situation [Schroeter] |
| 14720 | Semantic theory assigns meanings to expressions, and metasemantics explains how this works [Schroeter] |
| 14695 | Semantic theories show how truth of sentences depends on rules for interpreting and joining their parts [Schroeter] |
| 14697 | 'Federer' and 'best tennis player' can't mean the same, despite having the same extension [Schroeter] |
| 14696 | Simple semantics assigns extensions to names and to predicates [Schroeter] |
| 14698 | Possible worlds semantics uses 'intensions' - functions which assign extensions at each world [Schroeter] |
| 14699 | Possible worlds make 'I' and that person's name synonymous, but they have different meanings [Schroeter] |
| 14709 | Possible worlds semantics implies a constitutive connection between meanings and modal claims [Schroeter] |
| 14719 | In the possible worlds account all necessary truths are same (because they all map to the True) [Schroeter] |
| 14701 | Array worlds along the horizontal, and contexts (world,person,time) along the vertical [Schroeter] |
| 14702 | If we introduce 'actually' into modal talk, we need possible worlds twice to express this [Schroeter] |
| 14705 | Do we know apriori how we refer to names and natural kinds, but their modal profiles only a posteriori? [Schroeter] |
| 14715 | 2D fans defend it for conceptual analysis, for meaning, and for internalist reference [Schroeter] |
| 14716 | 2D semantics can't respond to contingent apriori claims, since there is no single proposition involved [Schroeter] |